-
1 аксиома замены
Большой англо-русский и русско-английский словарь > аксиома замены
-
2 аксиома замены
-
3 аксиома замены
Mathematics: exchange axiom, replacement axiom -
4 аксиома замены
exchange axiom мат.Русско-английский научно-технический словарь Масловского > аксиома замены
-
5 аксиома
1) axiom
2) postulate
– аксиома выбора
– аксиома замены
– аксиома мощности
– аксиома о параллельных
– аксиома отделимости
– аксиома полноты
– аксиома сводимости
– аксиома сохранения
– аксиома счетности
– аксиома треугольника
аксиома математической индукции — axiom of complete induction
аксиома не требует доказательства — axiom needs no proof
-
6 exchange axiom
Большой англо-русский и русско-английский словарь > exchange axiom
-
7 exchange axiom
-
8 exchange axiom
аксиома заменыEnglish-Russian dictionary of technical terms > exchange axiom
-
9 exchange axiom
The English-Russian dictionary general scientific > exchange axiom
-
10 sequencing axiom
-
11 axiom
-
12 reducibility axiom
The English-Russian dictionary general scientific > reducibility axiom
-
13 separation axiom
The English-Russian dictionary general scientific > separation axiom
-
14 triangle axiom
The English-Russian dictionary general scientific > triangle axiom
-
15 замена
1. ж. substitution, change2. ж. renewal, replacementСинонимический ряд:1. подмена (сущ.) подмена2. смена (сущ.) новая смена; смена -
16 replacement axiom
Большой англо-русский и русско-английский словарь > replacement axiom
-
17 replacement axiom
Математика: аксиома замены, аксиома подстановки -
18 replacement axiom
мат.аксиома замены, аксиома подстановки -
19 exchange axiom
Математика: аксиома замены -
20 exchange axiom
мат.
См. также в других словарях:
ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… … Философская энциклопедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Специальная теория относительности — Почтовая марка с формулой E = mc2, посвящённая Альберту Эйнштейну, одному из создателей СТО. Специальная теор … Википедия
Либертарный волюнтаризм — Не следует путать с волюнтаризмом направлением в философии, признающим волю первоосновой всего сущего. Часть либертарианской философии Либертарианство … Википедия
Судьба Т-64 — Судьба Т 64 во всех его модификациях представляется мне весьма драматичной. Наверное это справедливо для всех “первопроходцев”. В нашей стране (тут я не разделяю СССР и современную Россию) в деле оснащения Вооруженных Сил БТТ существовал и … Энциклопедия техники
Остазия (1984) — Политическая карта мира в романе «1984». Территории, контролируемые Остазией отмечены на карте салатовым цветом … Википедия
Фондовый индекс Доу Джонс — (Dow Jones) Определение индекса Доу Джонса, история возникновения, динамика индекса Информация об определении индекса Доу Джонса, история возникновения, динамика индекса Содержание Содержание Что такое Джонса Доу Джонса Транспортный индекс Доу… … Энциклопедия инвестора
Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см … Большая советская энциклопедия